Completely regular proper reflection of locales over a given locale
نویسندگان
چکیده
منابع مشابه
Locales and Locale Expressions in Isabelle/Isar
Locales provide a module system for the Isabelle proof assistant. Recently, locales have been ported to the new Isar format for structured proofs. At the same time, they have been extended by locale expressions, a language for composing locale specifications, and by structures, which provide syntax for algebraic structures. The present paper presents both and is suitable as a tutorial to locale...
متن کاملTutorial to Locales and Locale Interpretation
Locales are Isabelle’s mechanism to deal with parametric theories. We present typical examples of locale specifications, along with interpretations between locales to change their hierarchic dependencies and interpretations to reuse locales in theory contexts and proofs. This tutorial is intended for locale novices; familiarity with Isabelle and Isar is presumed.
متن کاملA note on semi-regular locales
Semi-regular locales are extensions of the classical semiregular spaces. We investigate the conditions such that semi-regularization is a functor. We also investigate the conditions such that semi-regularization is a reflection or coreflection.
متن کاملThe P -frame Reflection of a Completely Regular Frame
We show that every completely regular frame has a P -frame reection. The proof is straightforward in the case of a Lindelöf frame, but more complicated in the general case. The chief obstacle to a simple proof is the important fact that a quotient of a P -frame need not be a P -frame, and we give an example of this. Our proof of the existence of the P -frame reection in the general case is it...
متن کاملOmpactification of Completely Regular Frames based on their Cozero Part
Let L be a frame. We denoted the set of all regular ideals of cozL by rId(cozL) . The aim of this paper is to study these ideals. For a frame L , we show that rId(cozL) is a compact completely regular frame and the map jc : rId(cozL)→L given by jc (I)=⋁I is a compactification of L which is isomorphism to its Stone–Čech compactification and is proved that jc have a right adjoint rc : L →...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2012
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-2012-11329-2